PHP 8.5 Adds Pipe Operator: What it means
thephp.foundation·1d·
Discuss: Lobsters, Hacker News, r/programming
🐚Bash Combinators
Intensional FOL over Belnap's Billatice for Strong-AI Robotics
arxiv.org·30m
🌳Context free grammars
The Developer Workflow I Wish I Had 1,000 Commits Ago
dev.to·21h·
Discuss: DEV
🦀Rust Macros
Why Computer Science Is No Good, Redux
cacm.acm.org·11h
🎯Performance Proofs
How the Lean language brings math to coding and coding to math
amazon.science·10h·
Discuss: Hacker News
🔬Lean
New Features Everywhere: Launching Version 14.3 of Wolfram Language & Mathematica
writings.stephenwolfram.com·10h
💧Liquid Types
What's New in C# 14: User-Defined Compound Assignments
blog.ivankahl.com·6h·
Discuss: Hacker News
🦀Rust Macros
Automated Code Repair for C/C++ Static Analysis Alerts
arxiv.org·30m
📊Static Analysis
Bouncing on trampolines to run eBPF programs
bootlin.com·21h
🔍eBPF
Analysing Snapshot Isolation
muratbuffalo.blogspot.com·15h·
Discuss: www.blogger.com
🌳Persistent Data Structures
A New Concurrent ML in Guile Scheme
wingolog.org·19h·
Discuss: Hacker News
🔄Lens Laws
Detection Engineering: Practicing Detection-as-Code – Validation – Part 3
blog.nviso.eu·21h
✅Archive Validation
Poltergeist: The Ghost That Keeps Your Builds Fresh
steipete.me·14h
🎯Gradual Typing
Designing a Flexible Ability System in Games Using the Chain of Responsibility Pattern
hackernoon.com·7h
✨Algebraic Effects
The hiring test that defeated AI
bitecode.dev·13h·
Discuss: Hacker News
✅Shell Verification
Pragmatism in Programming Proverbs
gingerbill.org·19h·
Discuss: Lobsters, Hacker News, r/programming
💻Programming languages
Solving Pell Equations with Index Calculus
leetarxiv.substack.com·2d·
Discuss: Substack, r/programming
🎯Proof Tactics
6 GitOps Practices That Actually Work
thenewstack.io·11h
💾Persistence Strategies
Axiom: Decentralized AI network that discovers, verifies, and archives truth
github.com·3h·
Discuss: Hacker News
🤝Distributed Consensus
The Generativity Pattern in Rust
arhan.sh·1d·
Discuss: Lobsters, Hacker News, r/programming
🦀Rust Macros